<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<?php
include(dirname(__FILE__) . "/env-config.php");
$redis = new Redis();
$redis->connect($REDIS_IP, $REDIS_PORT, 3);

$key = "user.favorite." . 13;
$redis->sadd($key, 1);
$redis->sadd($key, 2);
$redis->sadd($key, 3);
$redis->sadd($key, 4);

echo $redis->ssize($key) . '<br/>';

echo 'hehehe';
?>
